Small example of using lean.js, by Nathan Carter, 7/31/15. Using information learned from Soonho Kong's Lean Tutorial app. Output appears only on the JavaScript console; look there.